[<A>]
type [<A>] A() =
    class end

and [<A>] B() =
    class end
